Mark d'Inverno

Mark d'Inverno
Residence London, England
Nationality British
Fields Computer science, software engineering, formal methods, software agents, interdisciplinary
Institutions

University of Westminster

Goldsmiths, University of London
Alma mater

University of Oxford

University College London

Professor Mark d'Inverno is a computer scientist based at the Goldsmiths College, University of London, England.[1]

D'Inverno has undertaken research in the area of formal methods, especially using the Z notation for software agents, and interdisciplinary work with artists[2] and musicians. He is the co-author of the books Understanding Agent Systems[3] and Agent-Based Software Development.[4]

D'Inverno is also a jazz musician, playing keyboards. He has appeared at the National Theatre in London.[5]

See also

References

  1. ^ Prof Mark d'Inverno — Professor (Head of Department), Department of Computing, Goldsmiths University of London, UK.
  2. ^ Publications, Jane Prophet, UK.
  3. ^ Mark d'Inverno and Michael Luck, Understanding Agent Systems. Springer Series on Agent Technology, Springer-Verlag, 2001. ISBN 978-3540419754. 2nd revised and extended edition, 2003. ISBN 978-3540407003.
  4. ^ Michael Luck, Ronald Ashri, and Mark d'Inverno, Agent-Based Software Development. Agent-Oriented Systems, Artech House Publishers, 2004. ISBN 978-1580536059.
  5. ^ Mark d'Inverno Trio, National Theatre, London, UK, 2010.

External links